home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.rock;
-
- import javax.swing.JTabbedPane;
-
- public class RTabbedPane extends JTabbedPane {
- public void setSelectedIndex(int var1) {
- for(int var2 = 0; var2 < ((JTabbedPane)this).getTabCount() && !((JTabbedPane)this).isEnabledAt(var1); ++var2) {
- ++var1;
- if (var1 >= ((JTabbedPane)this).getTabCount()) {
- var1 = 0;
- }
- }
-
- super.setSelectedIndex(var1);
- }
-
- public void setEnabledAt(int var1, boolean var2) {
- super.setEnabledAt(var1, var2);
- if (!var2) {
- this.setSelectedIndex(((JTabbedPane)this).getSelectedIndex());
- }
-
- }
- }
-